./test_solver < input